discarded assumption